MetaML and multi-stage programming with explicit annotations
نویسندگان
چکیده
منابع مشابه
MetaML: Multi-Stage Programming with Explicit Annotations
We introduce MetaML, a practically-motivated, statically-typed multi-stage programming language. MetaML allows the programmer to construct, combine, and execute code fragments in a type-safe manner. Code fragments can contain free variables, but we ensure that the language obeys the static-scoping principle. MetaML performs type-checking for all stages once and for all before the execution of t...
متن کاملMetaML and multi-stage programming with explicit annotations
We introduce MetaML, a practically-motivated, staticallytyped multi-stage programming language. MetaML is a \real" language. We have built an implementation and used it to solve multi-stage problems. MetaML allows the programmer to construct, combine, and execute code fragments in a type-safe manner. Code fragments can contain free variables, but they obey the static-scoping principle. MetaML p...
متن کاملA multi-stage stochastic programming for condition-based maintenance with proportional hazards model
Condition-Based Maintenance (CBM) optimization using Proportional Hazards Model (PHM) is a kind of maintenance optimization problem in which inspections of a system relevant to its failure rate depending on the age and value of covariates are performed in time intervals. The general approach for constructing a CBM based on PHM for a system is to minimize a long run average cost per unit of time...
متن کاملUsing MetaML: A Staged Programming Language
The purpose of staged programming in general, and MetaML in particular, is to produce eecient programs. We wish to move beyond programs that compute the \correct" output, to those that also have better control over resources (both space and time). The mechanism for doing this is to use program annotations to control the order of evaluation of terms. It should come as no surprise to those who ha...
متن کاملMulti-Stage Programming: Axiomatization and Type Safety
Multi staged programming provides a new paradigm for constructing e cient solutions to complex problems Techniques such as program generation multi level partial evaluation and run time code generation respond to the need for general purpose solutions which do not pay run time interpretive overheads This paper provides a foundation for the formal analysis of one such system We introduce a multi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2000
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(00)00053-0